Theoretische Informatik

Module	LV Type	CP	LV	Dates	Examination
Algorithmic Foundations of Datascience	Fach-/Modulprüfung	6	558118		Di 10.02.2026 13:30-15:00 AOC (2020\|131) Roter Hörsaal AM (Ro) (1420\|002) Mi 11.03.2026 13:30-15:00 Grüner Hörsaal AM (Gr) (1420\|001) Roter Hörsaal AM (Ro) (1420\|002)
	Vorlesung		558119	Di 16:30-18:00 AH I (2350\|028) (×11) Mi 08:30-10:00 AH I (2350\|028) (×13)
	Übung		558120	Do 12:30-14:00 IPC Hörsaal (2400\|U101) (×15)
Algorithmische Lerntheorie	Fach-/Modulprüfung	6	541195
	Vorlesung		557996	Di 08:30-10:00 AH II (2350\|111) (×15) Mi 10:30-12:00 AH II (2350\|111) (×15)
	Übung		557997	Do 14:30-16:00 AH VI (2356\|051) (×15)
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	541304
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	544584
Analyse von Algorithmen	Fach-/Modulprüfung	8	541405		Mi 11.02.2026 10:00-12:00 AH VI (2356\|051) Mo 09.03.2026 10:00-12:00
Analyse von Algorithmen	Vorlesung		560022	Mi 10:30-12:00 5055 (2356\|055) (×15) Fr 10:30-12:00 AH III (2350\|314.1) (×15)
Compilerbau	Fach-/Modulprüfung	6	541246
Concurrency Theory	Fach-/Modulprüfung	6	541087		Mo 02.03.2026 14:00-16:00 Otto Fuchs-Hörsaal (H03) (1385\|003) Mi 01.04.2026 09:00-11:00 AH V (2356\|050)
	Vorlesung		558581	Di 14:30-16:00 AH II (2350\|111) (×15) Do 14:30-16:00 AH II (2350\|111) (×15)
	Übung		558582	Fr 08:30-10:00 AH III (2350\|314.1) (×15)
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	541500
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		537540	Mi 08:30-10:00 AH IV (2354\|030) (×15) Do 10:30-12:00 AH V (2356\|050) (×15) Fr 12:30-13:15 5056 (2356\|056) (×15)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	544594
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	545132
Infinite Computations and Games	Fach-/Modulprüfung	6	541566
	Vorlesung		537617	Mo 10:30-12:00 5056 (2356\|056) (×14) Di 08:30-10:00 5054 (2356\|054) (×14)
	Übung		537387	Do 10:30-12:00 5056 (2356\|056) (×13)
Komplexitätstheorie	Fach-/Modulprüfung	6	541541
	Vorlesung		557994	Mi 08:30-10:00 AH III (2350\|314.1) (×15) Do 16:30-18:00 AH II (2350\|111) (×15)
	Übung		557995	Mi 14:30-16:00 AH II (2350\|111) (×15)
Logik und Spiele	Fach-/Modulprüfung	8	543270
Logik und Spiele	Fach-/Modulprüfung	8	543271
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	558736		Di 03.03.2026 09:00-10:30 HKW 2 (1132\|303) Do 02.04.2026 09:00-10:30 AH VI (2356\|051)
Machine Learning with Graphs: Foundations and Applications	Vorlesung/Übung		557902	Mo 08:30-10:00 H05 (1385\|105) (×15) Mi 12:30-14:00 IPC Hörsaal (2400\|U101) (×15) Fr 12:30-14:00 H05 (1385\|105) (×15)
Mathematische Logik II	Fach-/Modulprüfung	8	541301
Model Checking	Fach-/Modulprüfung	6	544576		Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420\|210) Grüner Hörsaal AM (Gr) (1420\|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420\|210)
	Vorlesung		537573	Mi 12:30-14:00 AH III (2350\|314.1) (×15) Do 10:30-12:00 AH I (2350\|028) (×15)
	Übung		536600	Fr 14:30-16:00 AH III (2350\|314.1) (×15)
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	542149
Optimization and Uncertainty	Fach-/Modulprüfung	6	575639
Parametrisierte Algorithmen	Fach-/Modulprüfung	8	544577
Post-quantum cryptography	Fach-/Modulprüfung	6	543244		Di 03.03.2026 14:00-15:30 P2 (3210\|120) ZuseLab S1 (2315\|203) Do 02.04.2026 11:30-13:00 ZuseLab C4 (2315\|201)
Post-quantum cryptography	Vorlesung/Übung		539191	Di 16:30-18:00 AH IV (2354\|030) (×15) Mi 16:30-18:00 AH I (2350\|028) (×15) Fr 14:30-16:00 AH I (2350\|028) (×15)
Probabilistic Programming	Fach-/Modulprüfung	6	541432		Mi 18.02.2026 12:00-14:00 AH IV (2354\|030) Mi 18.03.2026 09:00-11:00 HKW 2 (1132\|303)
	Vorlesung		558579	Mi 16:30-18:00 AH III (2350\|314.1) (×15) Do 08:30-10:00 AH I (2350\|028) (×15)
	Übung		558580	Fr 16:30-18:00 AH I (2350\|028) (×15)
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	544543
Stochastic Games	Fach-/Modulprüfung	6	545666
Theory of Distributed Systems	Fach-/Modulprüfung	6	575640